121. Artificial cognition systems
پدیدآورنده: / Angelo Loula, Ricardo Gudwin, Joao Queiroz [editors]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Artificial intelligence- Research,Cognitive science- Research,Artificial Intelligence,Cognition
رده :
Q335
.
7
.
A76
2007
122. Artificial cognition systems /
پدیدآورنده: Angelo Loula, Ricardo Gudwin, João Queiroz [editors]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence-- Research,Cognitive science-- Research
رده :
Q335
.
7
.
A76
2007
123. Artificial evolution :
پدیدآورنده: Evelyne Lutton, Pierrick Legrand, Pierre Parrend, Nicolas Monmarché, Marc Schoenauer (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Evolutionary computation.,Evolutionary programming (Computer science),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
618
124. Artificial intelligence for big data :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Big data.,Business logistics-- Data processing.,Big data.,Business logistics-- Data processing.,COMPUTERS-- Databases-- Data Warehousing.
رده :
QA76
.
9
.
B45
.
D474
2018eb
125. Atomic and Molecular Properties
پدیدآورنده: edited by Stephen Wilson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Chemistry.,Computer science.
126. Audio- and video-based biometric person authentication :
پدیدآورنده: AVBPA 2003, Guildford, UK, June 9-11, 2003. Josef Kittler ; Mark S. Nixon (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Automatische Sprechererkennung -- Authentifikation -- Kongress.,Biometrie -- Authentifikation -- Kongress.,Gesicht -- Bilderkennung -- Authentifikation -- Kongress.
127. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
پدیدآورنده: Hermes, Hans.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H4
1971
128. Automata, languages and programming :
پدیدآورنده: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
129. Automata, languages, and programming :
پدیدآورنده: edited by J.W. de Bakker and J. van Leeuwen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming -- Congresses.,Formal languages -- Congresses.,Machine theory -- Congresses.
130. Automated Testing and Debugging for Big Data Analytics
پدیدآورنده: Gulzar, Muhammad Ali
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science
131. Automated Testing and Debugging for Big Data Analytics
پدیدآورنده: Gulzar, Muhammad Ali
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science
132. Automatic parallelization :
پدیدآورنده: Christoph W. Kessler, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Codage.,Parallel processing (Electronic computers)
رده :
QA76
.
58
C475
1994
133. Automatic target recognition /
پدیدآورنده: Bruce J. Schachter.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms.,Image processing.,Optical pattern recognition.,Radar targets.,Algorithms.,Image processing.,Optical pattern recognition.,Radar targets.
رده :
TK6580
.
S33
2017eb
134. BONUS algorithm for large scale stochastic nonlinear programming problems /
پدیدآورنده: Urmila Diwekar, Amy David
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms.,Stochastic programming.,Algorithms.,Mathematics.,Stochastic Processes.
رده :
T57
.
79
135. Bayesian Approach to Global Optimization :
پدیدآورنده: by Jonas Mockus.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Information theory.
رده :
QA402
.
5
B956
1989
136. Bayesian Estimation and Tracking
پدیدآورنده: / Anton J. Haug
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Bayesian statistical decision theory,Automatic tracking -- Mathematics,Estimation theory,نظریه تصمیم گیری آماری بیزی,ردگیری اتوماتیک - ریاضیات,نظریه تخمین
رده :
QA279
,.
5
.
H38
137. Bayesian Full Information Analysis of Simultaneous Equation Models Using Integration by Monte Carlo
پدیدآورنده: by Luc Bauwens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Economics -- Statistics.,Economics.
رده :
QA276
.
B958
1984
138. Beginning C++ game programming /
پدیدآورنده: Michael Dawson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: C++ (Computer program language),Computer games-- Programming.,C++ (Computer program language),Computer games-- Programming.,GAMES-- Video & Electronic.
رده :
QA76
.
76
.
C672
D39
2004eb
139. Big data science and analytics for smart sustainable urbanism :
پدیدآورنده: Simon Elias Bibri.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Big data.,City planning-- Environmental aspects.,Sustainable urban development.,Big data.,City planning-- Environmental aspects.,SOCIAL SCIENCE-- Sociology-- Urban.,Sustainable urban development.
رده :
HT166
